| contributor | Verteilte Systeme (IPVR) | ||||||||||||||
E-Mail: "Matthias Papesch"
| creator |
Papesch, Matthias
| date |
2002-03-28
| description |
64 pages
|
HiSPIN stands for Highly interactive SPIN. SPIN itself is an
abbreviation for Simple Promela INterpreter. The HiSPIN project aims
at supporting the handling of protocols and algorithms. It tries to
combine the advantages of the existing tools Promela, SPIN and
HiSAP.
The main parts of this work comprise a Java implementation of the
SPIN simulator and the development of a communication model which
enables the simulation process to control visual elements of the
HiSAP visualization toolkit.
| format |
application/pdf
| 576280 Bytes | |
| identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=STUD-1826&engl=1 |
| language | eng |
| publisher | Stuttgart, Germany, Universität Stuttgart |
| relation | Student Thesis No. 1826 |
| source | ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/STUD-1826/STUD-1826.pdf |
| subject | Network Protocols (CR C.2.2) |
| Simulation and Modeling Applications (CR I.6.3) | |
| HiSPIN | |
| Simulator | |
| title | Generating Implementations from Formal Specifications: A Translator from Promela to Java |
| type | Text |
| Student Thesis |